Weak forms of elimination of imaginaries

نویسندگان

Enrique Casanovas

Rafel Farré

چکیده

We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl(A) and closed subgroups of the Galois group Aut(acl(A)/A). We also characterize when the topology of the Galois group is the quotient topology.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Imaginaries in Boolean algebras

Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...

متن کامل

Thorn-forking in continuous logic

We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary ima...

متن کامل

The theory of modules of separably closed fields 2

In Dellunde et al. (J. Symbolic Logic 67(3) (2002) 997–1015), we determined the complete theory Te of modules of separably closed %elds of characteristic p and imperfection degree e, e∈! ∪ {∞}. Here, for 0 = e∈!, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions...

متن کامل

Elimination of generalised imaginaries and Galois cohomology

The objective of this article is to characterise elimination of finite generalised imaginaries as defined in [9] in terms of group cohomology. As an application, I consider series of Zariski geometries constructed [10, 23, 22] by Hrushovski and Zilber and indicate how their non-definability in algebraically closed fields is connected to eliminability of certain generalised imaginaries.

متن کامل